Philosophical logic

Results: 2980



#Item
361Proof theory / Non-classical logic / Philosophical logic / Logical syntax / Computer security / Modal logic / Mathematical proof / Linear logic / Formal verification / Logic / Mathematics / Logic in computer science

Manifest Security Karl Crary Robert Harper Frank Pfenning Carnegie Mellon University Benjamin C. Pierce Stephanie Weirich Stephan Zdancewic University of Pennsylvania January 2007

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2007-02-05 13:01:30
362Modal logic / Model theory / Symbol / Kripke semantics / Epistemic modal logic / Interpretation / Dynamical system / Logic / Mathematical logic / Philosophical logic

Reasoning About the Beliefs of Agents in Multi-Agent Domains in the Presence of State Constraints: The Action Language mAL Chitta Baral1 , Gregory Gelfond1 , Enrico Pontelli2 , and Tran Cao Son2 1

Add to Reading List

Source URL: myweb.ttu.edu

Language: English - Date: 2015-05-24 18:07:58
363Deduction / Philosophy of language / Model theory / Natural deduction / Modal logic / Sheaf / Interpretation / Entailment / Formal semantics / Logic / Philosophical logic / Semantics

A Declarative View of Inheritance in Logic Programming M. Bugliesi Dipartimento di Matematica Pura ed Applicata Via Belzoni 7, Padova – ITALY

Add to Reading List

Source URL: www.dsi.unive.it

Language: English - Date: 2005-06-07 07:12:30
364Modal logic / Philosophical logic / Possibility / Non-classical logic / Empiricism / Possible world / Entailment / A priori and a posteriori / Intensional logic / Logic / Philosophy / Mathematical logic

Table of Contents Foreword ..............................................................................................................................................1 1. Introduction..................................

Add to Reading List

Source URL: agora.metaphysica.skaut.org

Language: English - Date: 2002-11-18 13:27:44
365Semantics / Pragmatics / Anaphora / Semiotics / Philosophical logic / Antecedent / Logic / Reference / Singular they / Linguistics / Syntax / Philosophy of language

CerclesPHRASING  /  REPHRASING     THE  CHOICE  OF  LEXICAL  INFORMATION     IN  ANAPHORIC  DEFINITE  DESCRIPTIONS  

Add to Reading List

Source URL: www.cercles.com

Language: English - Date: 2013-05-31 06:51:05
366Philosophical logic / Philosophy of mathematics / Huth / Surnames / Truth / Analysis / Mathematical logic / Model theory / Philosophy / Logic / Science

Access-Control Policies via Belnap logic: expressive composition and simple analysis Michael Huth imperial.ac.uk/quads/ Abschlussveranstaltung des Graduiertenkollegs

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2008-09-05 11:42:02
367Theories of truth / Philosophical logic / 20th-century philosophy / Statements / Truth / The Origin of the Work of Art / Aesthetic Theory / Aesthetics / Martin Heidegger / Philosophy / Logic / Branches of philosophy

BOOK REVIEWS 217 Artistic Truth: Aesthetics, Discourse, and Imaginative Disclosure. By lambert zuidervaart. Cambridge U.Ppp. £45.00

Add to Reading List

Source URL: www.phil.uu.nl

Language: English - Date: 2011-01-12 16:40:50
368Danger Hiptop / Joke / Logic / Technology / Computing / Paradox / Philosophical logic / TI-Nspire series

Paradox Issue 1, 2013 T HE M AGAZINE OF THE M ELBOURNE U NIVERSITY M ATHEMATICS AND S TATISTICS S OCIETY Page 2

Add to Reading List

Source URL: www.ms.unimelb.edu.au

Language: English - Date: 2013-02-28 18:11:10
369Statistics / Bayesian statistics / Philosophical logic / Applied probability / Empirical probability / Estimation theory / Probability / Bayesian probability / Frequency probability / Probability theory / Probability interpretations / Probability and statistics

The magazine dedicated exclusively to the technology of evidence collection, processing, and preservation Volume 10, Number 4 • July-August 2012 Thermal Latent Print Development TOPICS IN THIS ISSUE ! Accident Scene Re

Add to Reading List

Source URL: fprints.nwlean.net

Language: English - Date: 2012-06-27 17:20:33
370Philosophical logic / Golden ratio / Function / Abstraction / Mathematics / Logic / Paradox

Paradox Issue 3, 2004 The Magazine of the Melbourne University Mathematics and Statistics Society MUMS

Add to Reading List

Source URL: www.ms.unimelb.edu.au

Language: English - Date: 2011-11-19 03:23:13
UPDATE